<?php
class Redis {}
